What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

The role of probability is one of the most contested issues in the interpretation of contemporary physics. In this paper, I’ll be reevaluating some widely held assumptions about where and how probabilities arise. Larry Sklar voices the conventional wisdom about probability in classical physics in a piece in the Stanford Online Encyclopedia of Philosophy, when he writes that “Statistical mechanics was the first foundational physical theory in which probabilistic concepts and probabilistic explanation played a fundamental role.” And the conventional wisdom (...) about quantum probabilities is that they are basic, not reducible to the types of probabilities we see in statistical mechanics. In the first section of this paper, I’ll argue that in fact classical physics was steeped in probability long before statistical mechanics came on the scene, specifically, that an objective measure over phase space is an indispensable component of any informative physical theory. In the next section, I’ll argue that this objective measure is the fundamental form of physical probability and that quantum probabilities can be defined in terms of it. In the last, I’ll raise some questions about the metaphysical status of the fundamental measure. (shrink)

It has been widely argued that words are analogous to species such that words, like species, are natural kinds. In this paper, I consider the metaphysics of word-kinds. After arguing against an essentialist approach, I argue that word-kinds are homeostatic property clusters, in line with the dominant approach to other biological and psychological kinds.

This paper traces an expanded ethical perspective for youth and community work (YCW) practice in response to the climate and biodiversity crises. Discussing ecological ethics, we problematise the liberal humanist emphasis on utilitarianism and reject it as inappropriate for YCW in these times. Instead, we argue for an ecocentric practice ethic which intrinsically values the non-human world. To advance an ecocentric ethical perspective for YCW we draw on decolonial and posthuman theory. Inspired by a Freirean dialogical approach, we apply these (...) theoretical domains as lenses to problematise YCW practice, seeking a generative dialogue between perspectives. Through this, we identify three emergent tasks for ecocentric YCW: (a) thinking and acting beyond the individual; (b) cultivating reciprocal care and connection and (c) practicing critical pedagogies of place. This third element builds on YCW's social pedagogic tradition and provides a practical means to incorporate ecocentric ideas into practice. We conclude that, given the unprecedented implications of climate crises and biodiversity collapse, a YCW ethics that does not consider these implications for young people is insufficient for the context of practice today. Enacting an ecocentric YCW ethics requires ongoing collective praxis and dialogue between young people, practitioners, educators, managers and students. (shrink)

Can the issue of how important it is whether or not there is a God be decided prior to deciding whether or not there is a God? In this paper, I explore some difficulties that stand in the way of answering this question in the affirmative and some of the implications of these difficulties for that part of the Philosophy of Religion which concerns itself with assessing arguments for and against the existence of God, the implications for how its importance (...) may best be defended within secular academe. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

The variety DMM of De Morgan monoids has just four minimal subvarieties. The join-irreducible covers of these atoms in the subvariety lattice of DMM are investigated. One of the two atoms consisting of idempotent algebras has no such cover; the other has just one. The remaining two atoms lack nontrivial idempotent members. They are generated, respectively, by 4-element De Morgan monoids C4 and D4, where C4 is the only nontrivial 0-generated algebra onto which finitely subdirectly irreducible De Morgan monoids may (...) be mapped by noninjective homomorphisms. The homomorphic preimages of C4 within DMM constitute a proper quasivariety, which is shown to have a largest subvariety U. The covers of the variety within U are revealed here. There are just ten of them. In exactly six of these ten varieties, all nontrivial members have C4 as a retract. In the varietal join of those six classes, every subquasivariety is a variety—in fact, every finite subdirectly irreducible algebra is projective. Beyond U, all covers of [or of ] within DMM are discriminator varieties. Of these, we identify infinitely many that are finitely generated, and some that are not. We also prove that there are just 68 minimal quasivarieties of De Morgan monoids. (shrink)

Minimally, metaphysical realists hold that there exist some mind-independent entities. Metaphysical realists also hold that we can speak meaningfully or truthfully about mind-independent entities. Those who reject metaphysical realism deny one or more of these commitments. This Element aims to introduce the reader to the core commitments of metaphysical realism and to illustrate how these commitments have changed over time by surveying some of the main families of views that realism has been contrasted with: such as scepticism, idealism, and anti-realism.

The natural name theory, recently discussed by Johnson (2018), is proposed as an explanation of pure quotation where the quoted term(s) refers to a linguistic object such as in the sentence ‘In the above, ‘bank’ is ambiguous’. After outlining the theory, I raise a problem for the natural name theory. I argue that positing a resemblance relation between the name and the linguistic object it names does not allow us to rule out cases where the natural name fails to resemble (...) the linguistic object it names. I argue that to avoid this problem, we can combine the natural name theory with a type-realist metaphysics of language, and hold that the name is natural because the name is an instance of the kind that it names. I conclude by reflecting on the importance of the metaphysics of language for questions in the philosophy of language. (shrink)

Like any other group of philosophers, scholastic thinkers from the Middle Ages disagreed about even the most fundamental of concepts. With their characteristic style of rigorous semantic and logical analysis, they produced a wide variety of diverse theories about a huge number of topics. The Routledge Companion to Medieval Philosophy offers readers an outstanding survey of many of these diverse theories, on a wide array of subjects. Its 35 chapters, all written exclusively for this Companion by leading international scholars, are (...) organized into seven parts: I Language and Logic II Metaphysics III Cosmology and Physics IV Psychology V Cognition VI Ethics and Moral Philosophy VII Political Philosophy In addition to shedding new light on the most well-known philosophical debates and problems of the medieval era, the Companion brings to the fore topics that may not traditionally be associated with scholastic philosophy, but were in fact a veritable part of the tradition. These include chapters covering scholastic theories about propositions, atomism, consciousness, and democracy and representation. The Routledge Companion to Medieval Philosophy is a helpful, comprehensive introduction to the field for undergraduate students and other newcomers as well as a unique and valuable resource for researchers in all areas of philosophy. (shrink)

‘The Meaning of Life’ and ‘The Philosophy of Religion’ have meant different things to different people, and so I do well to alert my reader to what these phrases mean to me and thus to the subject area of this review of recent work on their intersection. First, ‘The Meaning of Life’: within the analytic tradition, an idea has gained widespread assent; whatever the vague and enigmatic nature of the phrase ‘the meaning of life’, we may sensibly speak of meaningfulness (...) in a life as a particular, positive, normative feature that some individuals’ lives may well have, and this feature is to be distinguished from, though closely related to, other positive features – satisfaction, wellbeing, virtue and so forth. There has been much work done on these assumptions in recent years. An excellent summary of this work up to its date of publication is given by Thaddeus Metz (in his 2007 a). Many – though by no means all – philosophers retain an instinctive scepticism toward the phrase ‘the meaning of life’ and a reluctance to engage with it, for it seems to connote vague and/or impossible-to-fulfil cosmic expectations. (See Thomson , chapter 11 and Seachris 2009 for attempts to engage with it nonetheless.) But philosophers are not generally now so sceptical about talk of meaningfulness in life and thus not so sceptical about the phrase ‘the meaning of life’ if it is taken to be referring merely to this. And that is how I shall be taking it. Secondly, ‘The Philosophy of Religion’: in the analytic tradition, this has usually been taken to be philosophical reflection on the rational acceptability or otherwise of classical theism and on what God's existence, should He exist, entails ontologically, metaphysically, metaethically and so forth. Therefore, I shall be talking about recent reflection in the analytic tradition on the relationship between the God of classical theism's existence (or lack of it) and meaningfulness (or lack of it) in human lives. (shrink)

This paper addresses the ontological status of the ontological categories as defended within E.J. Lowe’s four-category ontology (kinds, objects, properties/relations, and modes). I consider the arguments in Griffith (2015. “Do Ontological Categories Exist?” Metaphysica 16 (1):25–35) against Lowe’s claim that ontological categories do not exist, and argue that Griffith’s objections to Lowe do not work once we fully take advantage of ontological resources available within Lowe’s four-category ontology. I then argue that the claim that ontological categories do not exist has (...) no undesirable consequences for Lowe’s brand of realism. (shrink)

In the study of education, as in many more travelled regions of Classical scholarship, democratic Athens is something of a special case. The cautions formulation is appropriate: in the case of education, surprisingly few studies have sought to establish quite how special Athens was, and those which have, have often raised more questions than they answered. The subject itself is partly to blame. The history of education invites comparison with the present day, while those planning the future of education rarely (...) fail to invoke the past. The place of Classical Athens in European culture has ensured a place for Athenian education in almost every debate from the relation between education and democracy to the value of educationversustraining, and as the original champion of causes as varied as mass education, co-education, and the national curriculum. Desirable as it is to be in demand, such treatment is not calculated to produce the most circumspect account of the subject. The study of education is further hampered by the fact that our knowledge of Athenian culture is so vibrant and diverse in some ways and so partial in others. Plato and Aristophanes present a vivid fictional picture of education in the late fifth century. If we add a few passages from Xenophon and Aristotle, a large number of vases depicting men, women, and children reading, playing the lyre, and doing athletics, and one or two archaeological finds of an educational appearance, it is tempting to take the result as a clear portrait of a society at school. (shrink)

We characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures. This allows us to strengthen a result of Bacsich, as follows: in any prevariety having at most \ non-logical symbols and an axiomatization requiring at most \ variables, if the epimorphisms into structures with at most \ elements are surjective, then so are all of the epimorphisms. Using these facts, we formulate and prove manageable ‘bridge theorems’, matching the surjectivity of all epimorphisms in (...) the algebraic counterpart of a logic \ with suitable infinitary definability properties of \, while not making the standard but awkward assumption that \ comes furnished with a proper class of variables. (shrink)

It was shown recently that epimorphisms need not be surjective in a variety K of Heyting algebras, but only one counter-example was exhibited in the literature until now. Here, a continuum of such examples is identified, viz. the variety generated by the Rieger-Nishimura lattice, and all of its (locally finite) subvarieties that contain the original counter-example K . It is known that, whenever a variety of Heyting algebras has finite depth, then it has surjective epimorphisms. In contrast, we show that (...) for every integer $n \geq 2$ , the variety of all Heyting algebras of width at most n has a non-surjective epimorphism. Within the so-called Kuznetsov-Gerčiu variety (i.e., the variety generated by finite linear sums of one-generated Heyting algebras), we describe exactly the subvarieties that have surjective epimorphisms. This yields new positive examples, and an alternative proof of epimorphism surjectivity for all varieties of Gödel algebras. The results settle natural questions about Beth-style definability for a range of intermediate logics. (shrink)

Interpolation has become one of the standard properties that logicians investigate when designing a logic. In this paper, we provide strong evidence that the presence of interpolants is not only cogent for scientific reasoning but has also important practical implications in computer science. We illustrate that interpolation in general, and uniform splitting interpolants, in particular, play an important role in applications where formality and modularity are invoked. In recognition of the fact that common logical formalisms often lack uniform interpolants, we (...) advocate the need for developing general methods to engineer a specification logic so that some critical uniform interpolants become available. (shrink)

In a previous paper a theory of program size formally identical to information theory was developed. The entropy of an individual finite object was defined to be the size in bits of the smallest program for calculating it. It was shown that this is − log2 of the probability that the object is obtained by means of a program whose successive bits are chosen by flipping an unbiased coin. Here a theory of the entropy of recursively enumerable sets of objects (...) is proposed which includes the previous theory as the special case of sets having a single element. The primary concept in the generalized theory is the probability that a computing machine enumerates a given set when its program is manufactured by coin flipping. The entropy of a set is defined to be − log2 of this probability. (shrink)

The intuitive difference between a system that choreographs the motion of its parts in the service of goals of its own formulation and a system composed of a collection of parts doing their own thing without coordination has been shaken by now familiar examples of self-organization. There is a broad and growing presumption in parts of philosophy and across the sciences that the appearance of centralized information-processing and control in the service of system-wide goals is mere appearance, i.e., an explanatory (...) heuristic we have evolved to predict behavior, but one that will eventually get swept away in the advancing tide of self-organization. I argue that there is a distinction of central importance here, and that no adequate science of complex systems can dispense with it. (shrink)

The objectively best language is intended to refer to some metaphysically privileged language that ‘carves reality at its joints’ perfectly. That is, it is the kind of language that various ‘metaphysical deflationists’ have argued is impossible. One common line of argument amongst deflationists is that we have no means to compare languages that all express true facts about the world in such a way to decide which is ‘better’. For example, the language is physics is not objectively better than the (...) language of economics, as each language has the semantic purpose of expressing some domain of truths about the world inexpressible in the other language, and therefore neither could be ‘objectively best’. In this paper, I argue that metaphysical deflationists have failed to recognise a distinction between fine- and coarse-grained semantic purposes of languages, and that a recognition of that distinction provides us grounds to compare languages to see which is objectively best. I argue that once we recognise the distinction between fine- and coarse-grained semantic purposes, then we can see that it is relative to the coarse-grained purpose that we must compare putative objectively best ontological languages. (shrink)

There is a growing consensus in Britain on the importance of character, and on the belief that the virtues that contribute to good character are part of the solution to many of the challenges facing modern society. Parents, teachers and schools understand the need to teach basic moral virtues to pupils, such as honesty, self-control, fairness, and respect, while fostering behaviour associated with such virtues today. However, until recently, the materials required to help deliver this ambition have been missing in (...) Britain. The Knightly Virtues Programme, devised by the Jubilee Centre for Character and Virtues, aims to help solve this challenge. The programme, designed for 9 to 11 year olds, draws on selected classic stories to help teach moral character in schools. This approach has proved to be popular with children and teachers, with more than 5,000 pupils from one hundred schools having participated in the programme so far. Fifty-five of these schools and 3,272 pupils were directly involved in different stages of the research. Based at the University of Birmingham, the Jubilee Centre houses leading academics dedicated to researching the various ways in which good character, which underpins the building blocks of society, can be developed. Recent research from the Centre has shown that the qualities that make up character can be learnt and taught, and suggests that we need a new emphasis on their importance in schools and in professional education. This report from the Centre into the use of classic literature within schools sets out the ways in which the Knightly Virtues Programme is able to develop the virtue literacy of school pupils, and the extent to which an understanding and awareness of good moral character can make positive changes to behaviour. The impact of the programme has been tested using several rigorous research methods, detailed in this report alongside their findings, which provide substantial empirical evidence for the effectiveness of using stories to develop virtue literacy. (shrink)

The papers in this volume reflect much of the current unease of a world that perceives itself once more at the edge of chaos. The authors present different vistas of that experience and their inherent dialectic, expressed in numerous and ceaseless conflicts between ordering and disordering processes. They can be read as comments on the ongoing processes that lead toward greater complexity.